DICLIB.COM
Outils linguistiques IA

Tous les outils Abonnement Contactez-nous

Entrez un mot ou une phrase dans n'importe quelle langue 👆

Langue:

Traduction et analyse des mots par intelligence artificielle

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

comment le mot est utilisé
fréquence d'utilisation
il est utilisé plus souvent dans le discours oral ou écrit
options de traduction de mots
exemples d'utilisation (plusieurs phrases avec traduction)
étymologie

function types - traduction vers russe

Function types; Function space types; Function space type; Arrow type; Function space constructor; Function-space constructor

function types

функциональные типы; по К.Г. Юнгу - классификация типов личности, в основу которой положено четыре функции: чувствование, мышление, ощущение и интуиция (первые две функции рассматривались как рациональные, последние две - как иррациональные).

function of several variables

$A binary operation is a typical example of a bivariate function which assigns to each pair <math>(x, y)</math> the result <math>x\circ y</math>.$

ASSOCIATION OF A SINGLE OUTPUT TO EACH INPUT

Mathematical Function; Mathematical function; Function specification (mathematics); Mathematical functions; Empty function; Function (math); Ambiguous function; Function (set theory); Function (Mathematics); Functions (mathematics); Domain and range; Functional relationship; G(x); H(x); Function notation; Output (mathematics); Ƒ(x); Overriding (mathematics); Overriding union; F of x; Function of x; Bivariate function; Functional notation; Function of several variables; Y=f(x); ⁡; Draft:The Repeating Fractional Function; Image (set theory); Mutivariate function; Draft:Specifying a function; Function (maths); Functions (math); Functions (maths); F(x); Empty map; Function evaluation

функция нескольких переменных

empty function

$A binary operation is a typical example of a bivariate function which assigns to each pair <math>(x, y)</math> the result <math>x\circ y</math>.$

ASSOCIATION OF A SINGLE OUTPUT TO EACH INPUT

Mathematical Function; Mathematical function; Function specification (mathematics); Mathematical functions; Empty function; Function (math); Ambiguous function; Function (set theory); Function (Mathematics); Functions (mathematics); Domain and range; Functional relationship; G(x); H(x); Function notation; Output (mathematics); Ƒ(x); Overriding (mathematics); Overriding union; F of x; Function of x; Bivariate function; Functional notation; Function of several variables; Y=f(x); ⁡; Draft:The Repeating Fractional Function; Image (set theory); Mutivariate function; Draft:Specifying a function; Function (maths); Functions (math); Functions (maths); F(x); Empty map; Function evaluation

математика

пустая функция

Définition

surjective

surjection

Afficher plus de définitions

Wikipédia

Function type

In computer science and mathematical logic, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function.

A function type depends on the type of the parameters and the result type of the function (it, or more accurately the unapplied type constructor · → ·, is a higher-kinded type). In theoretical settings and programming languages where functions are defined in curried form, such as the simply typed lambda calculus, a function type depends on exactly two types, the domain A and the range B. Here a function type is often denoted A → B, following mathematical convention, or B^A, based on there existing exactly B^A (exponentially many) set-theoretic functions mappings A to B in the category of sets. The class of such maps or functions is called the exponential object. The act of currying makes the function type adjoint to the product type; this is explored in detail in the article on currying.

The function type can be considered to be a special case of the dependent product type, which among other properties, encompasses the idea of a polymorphic function.

https://en.wikipedia.org/wiki/Function type

Traduction de &#39function types&#39 en Russe